SimCheck: a contract type system for Simulink
نویسندگان
چکیده
منابع مشابه
SimCheck: An Expressive Type System for Simulink
MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating physical and cyber-physical system. A Simulink model consists of blocks with input and output ports connected using links that carry signals. We extend the type system of Simulink with annotations and dimensions/units associated with ports and links. These types can capture invariants on signals...
متن کاملa cauchy-schwarz type inequality for fuzzy integrals
نامساوی کوشی-شوارتز در حالت کلاسیک در فضای اندازه فازی برقرار نمی باشد اما با اعمال شرط هایی در مسئله مانند یکنوا بودن توابع و قرار گرفتن در بازه صفر ویک می توان دو نوع نامساوی کوشی-شوارتز را در فضای اندازه فازی اثبات نمود.
15 صفحه اولA Type and Effect System for Contract Monitoring
Behavioral contracts have long been heralded as a transparent mechanism which can only affect the semantics of programs by detecting contract violations. This claim persists despite several results going back at least five years that point out to the “effectful” nature of contracts. Indeed, in a typical contract system, the predicates embedded in contracts are sliced and diced and scattered aro...
متن کاملDevelopment of Controllers Using Simulink and Contract-Based Design
This chapter describes the application of contract-based design in Simulink to the development of a digital hydraulic controller. A semi-formal approach to the development is used, where contracts are used to aid the structuring of the system and for creating interface specifications for components that can later be used for testing. An analysis of the influence of the contracts on the developm...
متن کاملContract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
MATLAB/Simulink is a popular toolset for developing embedded software. The main target of the MATLAB/Simulink toolset is numerical computing applications and the tools offer a rich language for manipulating matrices. This paper presents an approach to automatic, modular, contract-based verification of programs written in a subset of the MATLAB programming language, with focus on efficiently han...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Innovations in Systems and Software Engineering
سال: 2011
ISSN: 1614-5046,1614-5054
DOI: 10.1007/s11334-011-0145-4